/**
* @author AlbertDarren
* @contact 2563491540@qq.com
*/
#include <cstdio>

using namespace std;

int main_48()
{
    int YYYY,MM,DD,HH,MI,SS;
    scanf("%d%d%d%d%d%d",&YYYY,&MM,&DD,&HH,&MI,&SS);
    char str[100];
    sprintf(str,"%04d-%02d-%02d %02d:%02d:%02d",YYYY,MM,DD,HH,MI,SS);
    printf("%s\n",str);
	return 0;
}
